Pakonen, A: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems

Pakonen, Antti, Buzhinsky, I, BjÃ¶rkman, K

Journal:

Reliability Engineering & System Safety

Year:

2021

File:

PDF, 368 KB

2021

2

[IEEE Factory Automation (ETFA 2010) - Bilbao (2010.09.13-2010.09.16)] 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) - A fuzzy ontology based approach for mobilising industrial plant knowledge

Pakonen, A, Tommila, T, Hirvonen, J

Year:

2010

Language:

english

File:

PDF, 755 KB

english, 2010

3

[IEEE 2019 IEEE International Conference on Industrial Technology (ICIT) - Melbourne, Australia (2019.2.13-2019.2.15)] 2019 IEEE International Conference on Industrial Technology (ICIT) - Verification of fault tolerant safety I&C systems using model checking

Pakonen, Antti, Buzhinsky, Igor

Year:

2019

Language:

english

File:

PDF, 560 KB

english, 2019

4

Dielectric properties and partial discharge endurance of polypropylene-silica nanocomposite

Takala, M., Ranta, H., Nevalainen, P., Pakonen, P., Pelto, J., Karttunen, M., Virtanen, S., Koivu, V., Pettersson, M., Sonerud, B., Kannus, K.

Journal:

IEEE Transactions on Dielectrics and Electrical Insulation

Year:

2010

Language:

english

File:

PDF, 1.52 MB

english, 2010

5

[Institution of Engineering and Technology 22nd International Conference and Exhibition on Electricity Distribution (CIRED 2013) - Stockholm, Sweden (10-13 June 2013)] 22nd International Conference and Exhibition on Electricity Distribution (CIRED 2013) - Electromagnetic compatibility between electronic loads and automated meter reading systems using PLC

Siddiqui, B., Pakonen, P., Verho, P., Pikkarainen, M.

Year:

2013

Language:

english

File:

PDF, 288 KB

english, 2013

6

[Institution of Engineering and Technology 22nd International Conference and Exhibition on Electricity Distribution (CIRED 2013) - Stockholm, Sweden (10-13 June 2013)] 22nd International Conference and Exhibition on Electricity Distribution (CIRED 2013) - Neutral fault management in LV network operation supported by AMR system

Jarventausta, P., Makinen, A., Pikkarainen, M., Kauppinen, M., Valkonen, H., Sohlman, M., Aalto, J., Pakonen, P.

Year:

2013

Language:

english

File:

PDF, 413 KB

english, 2013

7

Mental training for junior cross-country skiers

Journal:

Physiotherapy (Elsevier Science)

Year:

2015

Language:

english

File:

PDF, 53 KB

english, 2015

8

Earthing systems connected via metallic screens of the 20 kV underground cables in non-urban areas

Niemelä, Esa, Lähdeaho, Tommi, Mäkinen, Antti, Pakonen, Pertti

Journal:

CIRED - Open Access Proceedings Journal

Year:

2017

Language:

english

File:

PDF, 271 KB

english, 2017

9

Phenylpropanoid Glycosides from Rhodiola rosa.

Ari Tolonen, Minna Pakonen, Anja Hohtola, Jorma Jalonen

Journal:

Year:

2003

File:

PDF, 76 KB

2003

10

Responses to harvesting intensity in a clonal dwarf shrub, the bilberry (Vaccinium myrtillusL.)

A. Tolvanen, K. Laine, T. Pakonen, E. Saari, P. Havas

Journal:

Year:

1994

Language:

english

File:

PDF, 526 KB

english, 1994

11

Recovery of evergreen clonal dwarf shrubVaccinium vitis-idaeaafter simulated microtine herbivory in a boreal forest

A. Tolvanen, K. Laine, T. Pakonen, P. Havas

Journal:

Year:

1995

Language:

english

File:

PDF, 431 KB

english, 1995

12

Winter hardening and glutathione status in the bilberry (Vaccinium myrtillus) in response to trace gases (CO2, O3) and nitrogen fertilization

Erja Taulavuori, Kari Taulavuori, Kari Laine, Tuulikki Pakonen, Esko Saari

Journal:

Physiologia Plantarum

Year:

1997

Language:

english

File:

PDF, 9.15 MB

english, 1997

13

[IEEE 2012 Electric Power Quality and Supply Reliability Conference (PQ) - Tartu (2012.06.11-2012.06.13)] 2012 Electric Power Quality and Supply Reliability - Experiences on narrowband powerline communication of automated meter reading systems in Finland

Pakonen, P., Vehmasvaara, S., Pikkarainen, M., Siddiqui, B. A., Verho, P.

Year:

2012

Language:

english

File:

PDF, 1.70 MB

english, 2012

14

[IEEE 2012 Electric Power Quality and Supply Reliability Conference (PQ) - Tartu (2012.06.11-2012.06.13)] 2012 Electric Power Quality and Supply Reliability - Interference of touch dimmer lamps due to PLC and other high frequency signals

Pikkarainen, M., Vehmasvaara, S., Siddiqui, B. A., Pakonen, P., Verho, P.

Year:

2012

Language:

english

File:

PDF, 842 KB

english, 2012

15

Inter- and intra-specific responses to elevated ozone and chamber climate in northern birches

S. Manninen, S. Huttunen, M. Vanhatalo, T. Pakonen, A. Hämäläinen

Journal:

Environmental Pollution

Year:

2009

Language:

english

File:

PDF, 396 KB

english, 2009

16

Enhancing the production of cinnamyl glycosides in compact callus aggregate cultures of Rhodiola rosea by biotransformation of cinnamyl alcohol

Zsuzsanna György, Ari Tolonen, Minna Pakonen, Peter Neubauer, Anja Hohtola

Journal:

Year:

2004

Language:

english

File:

PDF, 138 KB

english, 2004

17

Accelerated dehardening in bilberry (Vaccinium myrtillus L.) induced by a small elevation in air temperature

K. Taulavuori, K Laine, E. Taulavuori, T. Pakonen, E. Saari

Journal:

Environmental Pollution

Year:

1997

Language:

english

File:

PDF, 503 KB

english, 1997

18

Effect of nitrogenous air pollutants on changes in protein spectra with the onset of winter in the leaves and shoots of the bilberry (Vaccinium myrtillus L.)

Maritta Pietilä, Pekka Lähdesmäki, Tuulikki Pakonen, Kari Laine, Esko Saari, Paavo Havas

Journal:

Environmental Pollution

Year:

1990

Language:

english

File:

PDF, 978 KB

english, 1990

19

"Chicago Banking": Additional Comment

R. Rodney Pakonen

Journal:

The Journal of Business

Year:

1970

Language:

english

File:

PDF, 167 KB

english, 1970

20

Changes in Total Nitrogen, Protein, Amino Acids and NH4+in Tissues of Bilberry, Vaccinium myrtillus, during the Growing Season

Pekka Lähdesmäki, Tuulikki Pakonen, Esko Saari, Kari Laine, Leena Tasanen and Paavo Havas

Journal:

Holarctic Ecology

Year:

1990

Language:

english

File:

PDF, 1.79 MB

english, 1990

21

Environmental Factors Affecting Basic Nitrogen Metabolism and Seasonal Levels of Various Nitrogen Fractions in Tissues of Bilberry, Vaccinium myrtillus

P. Lähdesmäki, T. Pakonen, E. Saari, K. Laine and P. Havas

Journal:

Holarctic Ecology

Year:

1990

Language:

english

File:

PDF, 2.00 MB

english, 1990

22

[IEEE IEEE Workshop on Distributed Intelligent Systems: Collective Intelligence and Its Applications (DIS'06) - Prague, Czech Republic (15-16 June 2006)] IEEE Workshop on Distributed Intelligent Systems: Collective Intelligence and Its Applications (DIS'06) - Multi-Agent System Enhanced Supervision of Process Automation

Pirttioja, T., Halme, A., Pakonen, A., Seilonen, I., Koskinen, K.

Year:

2006

Language:

english

File:

PDF, 744 KB

english, 2006

23

[IEEE 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) - Patras, Greece (2007.09.25-2007.09.28)] 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) - OWL based information agent services for process monitoring

Pakonen, Antti, Tommila, Teemu, Pirttioja, Teppo, Seilonen, Ilkka

Year:

2007

Language:

english

File:

PDF, 1.21 MB

english, 2007

24

QoS- and revenue aware adaptive scheduling algorithm

Joutsensalo, Jyrki, Hamalainen, Timo, Sayenko, Alexander, Pakonen, Mikko

Journal:

Journal of Communications and Networks

Year:

2004

Language:

english

File:

PDF, 881 KB

english, 2004

25

[IEEE 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - Cagliari, Italy (2013.09.10-2013.09.13)] 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - A toolset for model checking of PLC software

Pakonen, Antti, Matasniemi, Teemu, Lahtinen, Jussi, Karhela, Tommi

Year:

2013

Language:

english

File:

PDF, 229 KB

english, 2013

26

Characteristics of partial discharges caused by trees in contact with covered conductor lines

Pakonen, Pertti

Journal:

IEEE Transactions on Dielectrics and Electrical Insulation

Year:

2008

Language:

english

File:

PDF, 699 KB

english, 2008

27

[IEEE [Proceedings] 1992 Annual Report: Conference on Electrical Insulation and Dielectric Phenomena - Victoria, BC, Canada (18-21 Oct. 1992)] [Proceedings] 1992 Annual Report: Conference on Electrical Insulation and Dielectric Phenomena - Recognition of electrical discharges in SF/sub 6/ and atmospheric air by RFI measurements

Lehtio, A., Pakonen, P., Kannus, K., Lakervi, E.

Year:

1992

Language:

english

File:

PDF, 286 KB

english, 1992

28

[IEEE 2006 IEEE Conference on Emerging Technologies and Factory Automation - Prague, Czech Republic (2006.09.20-2006.09.22)] 2006 IEEE Conference on Emerging Technologies and Factory Automation - Proactive Computing in Process Monitoring: Information Agents for Operator Support

Pakonen, Antti, Pirttioja, Teppo, Seilonen, Ilkka, Tommila, Teemu

Year:

2006

Language:

english

File:

PDF, 250 KB

english, 2006

29

[IEEE 1999 PowerTech Conference - Budapest, Hungary (29 Aug.-2 Sept. 1999)] PowerTech Budapest 99. Abstract Records. (Cat. No.99EX376) - Possibilities to reveal internal moisture in polymeric metal oxide surge arresters by means of PD and EMR measurements

Lahti, K., Pakonen, P., Kannus, K., Nousiainen, K.

Year:

1999

Language:

english

File:

PDF, 119 KB

english, 1999

30

[IEEE 2006 IEEE International Conference on Industrial Informatics - Singapore (2006.08.16-2006.08.18)] 2006 IEEE International Conference on Industrial Informatics - Indirect Process Monitoring with Constraint Handling Agents

Seilonen, Ilkka, Pirttioja, Teppo, Halme, Aarne, Koskinen, Kari, Pakonen, Antti

Year:

2006

Language:

english

File:

PDF, 213 KB

english, 2006

31

[IEEE 2014 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe) - Istanbul, Turkey (2014.10.12-2014.10.15)] IEEE PES Innovative Smart Grid Technologies, Europe - Experience of communication problems in PLC-based AMR systems in Finland

Siddiqui, Bashir Ahmed, Pakonen, Pertti, Verho, Pekka

Year:

2014

Language:

english

File:

PDF, 231 KB

english, 2014

32

Responses to Harvesting Intensity in a Clonal Dwarf Shrub, the Bilberry (Vaccinium myrtillus L.)

A. Tolvanen, K. Laine, T. Pakonen, E. Saari and P. Havas

Journal:

Year:

1994

Language:

english

File:

PDF, 1.20 MB

english, 1994

33

Recovery of Evergreen Clonal Dwarf Shrub Vaccinium Vitis-Idaea after Simulated Microtine Herbivory in a Boreal Forest

A. Tolvanen, K. Laine, T. Pakonen and P. Havas

Journal:

Year:

1995

Language:

english

File:

PDF, 918 KB

english, 1995

34

[IEEE 2016 18th European Conference on Power Electronics and Applications (EPE'16 ECCE Europe) - Karlsruhe, Germany (2016.9.5-2016.9.9)] 2016 18th European Conference on Power Electronics and Applications (EPE'16 ECCE Europe) - Grid-connected PV power plant induced power quality problems — Experimental evidence

Pakonen, Pertti, Hilden, Antti, Suntio, Teuvo, Verho, Pekka

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

35

[IEEE 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - Berlin, Germany (2016.9.6-2016.9.9)] 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - User-friendly formal specification languages - conclusions drawn from industrial experience on model checking

Pakonen, Antti, Pang, Cheng, Buzhinsky, Igor, Vyatkin, Valeriy

Year:

2016

Language:

english

File:

PDF, 664 KB

english, 2016

36

Phenylpropanoid Glycosides from Rhodiola rosea

Tolonen, Ari, Pakonen, Minna, Hohtola, Anja, Jalonen, Jorma

Journal:

CHEMICAL & PHARMACEUTICAL BULLETIN

Year:

2003

Language:

english

File:

PDF, 68 KB

english, 2003

37

[IEEE 2016 IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia) - Melbourne, Australia (2016.11.28-2016.12.1)] 2016 IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia) - A novel concept of secondary substation monitoring: Possibilities and challenges

Pakonen, Pertti, Siddiqui, Bashir Ahmed, Verho, Pekka

Year:

2016

Language:

english

File:

PDF, 321 KB

english, 2016

38

[IEEE 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Poitiers, France (2016.7.19-2016.7.21)] 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - A study on user-friendly formal specification languages for requirements formalization

Pang, Cheng, Pakonen, Antti, Buzhinsky, Igor, Vyatkin, Valeriy

Year:

2016

Language:

english

File:

PDF, 885 KB

english, 2016

39

Novel inductive sensor solutions for on-line partial discharge and power quality monitoring

Siddiqui, Bashir Ahmed, Pakonen, Pertti, Verho, Pekka

Journal:

IEEE Transactions on Dielectrics and Electrical Insulation

Year:

2017

Language:

english

File:

PDF, 711 KB

english, 2017

40

Above-ground growth response of the bilberry (Vaccinium myrtillus L.) to simulated herbivory

Tolvanen, Anne, Laine, Kari, Pakonen, Tuulikki, Saari, Esko, Havas, Paavo

Journal:

Flora - Morphology, Distribution, Functional Ecology of Plants

Year:

1993

Language:

english

File:

PDF, 825 KB

english, 1993

41

[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Explicit-state and symbolic model checking of nuclear I&C systems: A comparison

Buzhinsky, Igor, Pakonen, Antti, Vyatkin, Valeriy

Year:

2017

Language:

english

File:

PDF, 184 KB

english, 2017

42

[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Scalable methods of discrete plant model generation for closed-loop model checking

Buzhinsky, Igor, Pakonen, Antti, Vyatkin, Valeriy

Year:

2017

Language:

english

File:

PDF, 198 KB

english, 2017

43

[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, QLD (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes

Buzhinsky, Igor, Pakonen, Antti, Vyatkin, Valeriy

Year:

2018

Language:

english

File:

PDF, 153 KB

english, 2018

44

Factors that Predict an Intern's First ABSITE Score are Known by September

Aljamal, Yazan, Pakonen, Jessica, Martin, Rebecca, Heller, Stephanie, McKenzie, Travis, Farley, David R.

Journal:

Journal of Surgical Education

Year:

2018

Language:

english

File:

PDF, 518 KB

english, 2018

45

[IEEE 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Porto (2018.7.18-2018.7.20)] 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Counterexample visualization and explanation for function block diagrams

Pakonen, Antti, Buzhinsky, Igor, Vyatkin, Valeriy

Year:

2018

Language:

english

File:

PDF, 216 KB

english, 2018

46

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions

Buzhinsky, Igor, Pakonen, Antti

Journal:

Year:

2019

Language:

english

File:

PDF, 7.57 MB

english, 2019

47

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions

Buzhinsky, Igor, Pakonen, Antti

Journal:

Year:

2019

File:

PDF, 7.57 MB

2019

48

Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems

Buzhinsky, Igor, Pakonen, Antti

Journal:

Year:

2020

File:

PDF, 5.00 MB

2020

49

[IEEE IECON 2020 - 46th Annual Conference of the IEEE Industrial Electronics Society - Singapore, Singapore (2020.10.18-2020.10.21)] IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society - Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant

Linnosmaa, Joonas, Pakonen, Antti, Papakonstantinou, Nikolaos, Karpati, Peter

Year:

2020

File:

PDF, 1017 KB

2020